Extension of the PESIM simulation tool
نویسنده
چکیده
The paper describes the use of the particular transformations between Petri nets, called reductions, in the analysis process for Petri nets. Reduction methods reduce the graph of the net by agglomeration of place nodes and transition nodes. The reductions transform one net into another, preserving some dynamical properties of Petri nets such as liveness, boundedness or invariants. Then the standard, computer-assisted analysis methods can be applied.
منابع مشابه
Extension of Higher Order Derivatives of Lyapunov Functions in Stability Analysis of Nonlinear Systems
The Lyapunov stability method is the most popular and applicable stability analysis tool of nonlinear dynamic systems. However, there are some bottlenecks in the Lyapunov method, such as need for negative definiteness of the Lyapunov function derivative in the direction of the system’s solutions. In this paper, we develop a new theorem to dispense the need for negative definite-ness of Lyapunov...
متن کاملForest Fire Potential Modeling and Simulation of its Extension Using Remote Sensing Data and GIS: (A Protected Area of Arasbaran)
Forest fire models are generally used in different aspects of fire management and are helpful in understanding and prediction of fire behavior. Forest fires cause a significant damage for public property by destroying a large tract of forest. This helps fire fighters to focus on an area with greater risk and to develop better substructure for fire fighter training and ultimately to plan fire-f...
متن کاملModelling and Numerical Simulation of Cutting Stress in End Milling of Titanium Alloy using Carbide Coated Tool
Based on the cutting force theory, the cutting stress in end milling operation was predicted satisfactorily through simulation of using finite element method. The mechanistic force models were introduced in high accuracy force predictions for most applications. The material properties in the simulations were defined based on the cutting force theory, as a function of strain and strain rate wher...
متن کاملAssessment of the use of Rural Radio as an Agricultural Information Dissemination Tool among Rural Farmers in Dekina Local Government of Kogi State, Nigeria.
ABSTRACT The study assessed the use of rural radio as agricultural information dissemination tool among farmers in Dekina Local Government Area of Kogi State. The specific objectives were to: describe the socio-economic characteristics of the respondents, identify rural and agricultural programmes normally aired on radio, find out the level of patronage of the programmes, identify the convenien...
متن کاملMechanical Simulation of the Extension and Flexion of the Elbow Joint in Rehabilitation
Objective: The goal of the present study was to improve the extension and flexion of the elbow joint for rehabilitation purposes, in terms of energy dissipation and of injuries caused by stress imposed on connective tissue by exercise equipments during force transfer , by investigation of viscoelastic property variations during change in speed of motion. Materials & Methods: A sample of five...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007